#include <stdio.h>
int main()
{
    long int a;
    for (a = 1001; a <= 3000; a += 2)
    {
        printf("%ld: ", a);
        printf("(%ld * %ld - 1)/8", a, a);
        printf("= %ld", (a * a - 1) / 8);
        printf("+ %ld\n", (a * a - 1) % 8);
    }

    return 0;
}